executable('kernel-tests',
	[
		'src/main.cpp',
		'src/faults.cpp',
		'src/mapping.cpp'
	],
	dependencies: [ hel_dep ],
	install : true
)
